3

Interpreting true arithmetic in the theory of the r.e. truth table degrees

Year:
1995
Language:
english
File:
PDF, 2.47 MB
english, 1995
4

Lowness properties and randomness

Year:
2005
Language:
english
File:
PDF, 404 KB
english, 2005
5

USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS

Year:
2016
Language:
english
File:
PDF, 320 KB
english, 2016
6

Calibrating Randomness

Year:
2006
Language:
english
File:
PDF, 9.23 MB
english, 2006
7

THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM

Year:
2018
Language:
english
File:
PDF, 213 KB
english, 2018
10

Describing Groups

Year:
2007
Language:
english
File:
PDF, 342 KB
english, 2007
14

Effectively Dense Boolean Algebras and Their Applications

Year:
2000
Language:
english
File:
PDF, 735 KB
english, 2000
15

Denjoy, Demuth and density

Year:
2014
Language:
english
File:
PDF, 432 KB
english, 2014
16

RELATIVIZING CHAITIN'S HALTING PROBABILITY

Year:
2005
Language:
english
File:
PDF, 369 KB
english, 2005
17

PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES

Year:
2003
Language:
english
File:
PDF, 352 KB
english, 2003
19

Martin-Löf random quantum states

Year:
2019
File:
PDF, 997 KB
2019
20

FA-presentable groups and rings

Year:
2008
Language:
english
File:
PDF, 189 KB
english, 2008
21

Metric Scott analysis

Year:
2017
Language:
english
File:
PDF, 686 KB
english, 2017
22

Trivial Reals

Year:
2002
Language:
english
File:
PDF, 223 KB
english, 2002
23

Characterizing the strongly jump-traceable sets via randomness

Year:
2012
Language:
english
File:
PDF, 407 KB
english, 2012
24

Universal recursively enumerable sets of strings

Year:
2011
Language:
english
File:
PDF, 263 KB
english, 2011
27

Calibrating Randomness

Year:
2006
Language:
english
File:
PDF, 743 KB
english, 2006
30

Aspects of free groups

Year:
2003
Language:
english
File:
PDF, 89 KB
english, 2003
32

Undecidability Results for Low Complexity Time Classes

Year:
2000
Language:
english
File:
PDF, 165 KB
english, 2000
35

The undecidability of the Π4-theory for the r.e. wtt and Turing degrees

Year:
1995
Language:
english
File:
PDF, 1.22 MB
english, 1995
37

A Universal Separable Diversity

Year:
2017
Language:
english
File:
PDF, 516 KB
english, 2017
38

Computably enumerable sets below random sets

Year:
2012
Language:
english
File:
PDF, 304 KB
english, 2012
39

Branching in the enumeration degrees of the Σ20sets

Year:
1999
Language:
english
File:
PDF, 1.19 MB
english, 1999
43

Benign cost functions and lowness properties

Year:
2011
Language:
english
File:
PDF, 1.59 MB
english, 2011
45

Comparing quasi-finitely axiomatizable and prime groups

Year:
2007
Language:
english
File:
PDF, 162 KB
english, 2007
46

Finite automata presentable abelian groups

Year:
2009
Language:
english
File:
PDF, 622 KB
english, 2009
47

10.1090/s0002-9939-03-06984-3

Year:
2004
Language:
english
File:
PDF, 217 KB
english, 2004
50

Feasible Analysis, Randomness, and Base Invariance

Year:
2015
Language:
english
File:
PDF, 891 KB
english, 2015